// Ikarus Debug Code
#ifndef dprintf
# ifdef DEBUG
#  include <stdio.h>
#  if __STDC_VERSION__ < 199901L
#   if __GNUC__ >= 2
#    define __func__ __FUNCTION__
#   else
#     define __func__ "<unknown>"
#   endif
#  endif
#  define dprintf(fmt, args...) do { fprintf(stdout, "%s:%d: %s: (%d): " fmt, __FILE__, __LINE__, __func__ , getpid(), ## args); fflush(stdout);} while (0)
# else
#  define dprintf(fmt, args...)
# endif
#endif
